1. Algorithmic foundations of robotics
پدیدآورنده : / David Hsu... [et al.] (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Robotics, Congresses,Algorithms, Congresses,Machine theory, Congresses,Electronic books., local
2. Algorithmic foundations of robotics IX
پدیدآورنده : / David Hsu... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Robotics -- Congresses ,Algorithms -- Congresses ,Machine theory -- Congresses
رده :
TJ211
.
I58
2011
3. Algorithmic information theory
پدیدآورنده : Chaitin, Gregory J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algorithms,، Machine theory,، Computational complexity,، LISP )Computer program language(
رده :
QA
9
.
58
.
C48
1987
4. Algorithms, languages, automata, and compilers
پدیدآورنده : / Maxim Mozgovoy
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Machine theory.,Formal languages.,Algorithms.
رده :
QA
267
.
M69
2010
5. Algorithms, languages, automata, and compilers
پدیدآورنده :
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Machine theory.,Formal languages.,Algorithms.
رده :
QA267
.
M69
2010
6. Archaeology of Algorithmic Artefacts /
پدیدآورنده : David Link
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms,Machine theory
رده :
QA267
.
L56
2016
7. Automata, Languages, and Programming : 30th international colloquim , ICALP 2003, Eindhoven, The Netherlands, June 30th-July 4, 2003 : Proceedings
پدیدآورنده : Jos C.M. Baeten ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2719
8. Automatic defense against zero-day polymorphic worms in communication networks
پدیدآورنده : Mohssen Mohammed, Al-Sakib Khan Pathan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms.,Computer networks-- Security measures.,Computer viruses.,Machine theory.
9. Computational Geometry : algorithms and applications
پدیدآورنده : Mark de Berg [ and etc...]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Machine theory,Computatianal Complexity,Computer algorithms
رده :
QA
،
267
،.
C66
،
1997
10. Computer algebra: systems and algorithms for algebraic computation
پدیدآورنده : Davenport, J.H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Algorithms,، Machine theory
رده :
QA
9
.
58
.
D3
1988
11. Deep reinforcement learning in action
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine learning. ; Algorithms. ; Reinforcement learning. ; Computational learning theory. ; Artificial intelligence. ;
12. Handbook of finite state based models and applications
پدیدآورنده : edited by Jiacun Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms.,Computer programming.,Sequential machine theory.
13. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
14. Logic, automata, and algorithms
پدیدآورنده : / by Mark A. Aiserman ...[et la.]; translated by Scripta Technica, translation editor George M. Mark
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Sequential machine theory,Logic, Symmbolic and mathematical,Algorithms
رده :
629
.
891
Lo
15. Logic, automata, and algorithms, Logika, avtomaty, algoritmy
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory,، Switching theory,، Algorithms
رده :
QA
267
.
5
.
S4
.
L613
16. Logik, Automaten, Algorithmen
پدیدآورنده : Aizerman, M. A.)Mark Aronovich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory,، Switching theory,، Algorithms
رده :
QA
267
.
5
.
S4
.
A35
17. Machine Learning
پدیدآورنده : / Tom M Mitchell
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Machine learning,Computer algorithms,LITERARY CRITICISM / Semiotics & Theory
رده :
Q325
.
5
18. Mathematical foundations of computer science 2008
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
19. Measuring Power of Algorithms, Computer Programs and Information Automata
پدیدآورنده : / Mark Burgin
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algorithms,Machine theory,Programming (Mathematics),الگوریتم ها
رده :
QA9
,.
58
.
M43
2010
20. Measuring power of algorithms, computer programs and information automata
پدیدآورنده : Mark Burgin
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Algorithms,Machine theory,Programming )Mathematics(
رده :
QA
9
,.
58
.
M4
2010
